relativization of correctness